861. Surveys in noncommutative geometry
المؤلف:
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geometry - Algebraic - Congresses,Noncommutative algebra - Congresses,Noncommutative function spaces - Congresses
رده :
QA564
.
A525
2000
862. Surveys in representation theory of algebras :
المؤلف: Alex Martsinkovsky, Kiyoshi Igusa, Gordana Todorov, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Representations of algebras, Congresses.,Associative rings and algebras-- Homological methods-- Homological functors on modules (Tor, Ext, etc.),Associative rings and algebras-- Representation theory of rings and algebras-- Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers.,Associative rings and algebras-- Representation theory of rings and algebras-- None of the above, but in this section.,Associative rings and algebras-- Representation theory of rings and algebras-- Representations of quivers and partially ordered sets.,Category theory; homological algebra-- Abelian categories-- Derived categories, triangulated categories.,Category theory; homological algebra-- Abelian categories-- Exact categories, abelian categories.,Category theory; homological algebra-- Homological algebra-- Relative homological algebra, projective classes.,MATHEMATICS-- Algebra-- Intermediate.,Representations of algebras.
رده :
QA176
.
M385
2018
863. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
المؤلف: P. Gianni, ed
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
358
864. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
المؤلف: P. Gianni, ed
المکتبة: (طهران)
موضوع: Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
رده :
QA
76
.
95
.
I57
1988
865. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
866. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
المؤلف: P. Gianni, ed,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
رده :
QA
.
I57
76
.
95
1988
867. Symbolic and numerical scientific computation :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
868. Symbolic and numerical scientific computation
المؤلف: / Franz Winkler, Ulrich Langer (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses
رده :
QA
,
370
,.
S67
,
2001
869. Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers
المؤلف: Franz Winkler, Ulrich Langer )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Differential equations -- Numerical solutions,Congresses ، Numerical calculations,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2630
870. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
المؤلف: edited by Manfred Kerber and Michael Kohlhase
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
871. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
872. Symbolic computation, number theory, special functions, physics, and combinatorics
المؤلف: edited by Frank G. Garvan and Mourad E. H. Ismail
المکتبة: (طهران)
موضوع: Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis
رده :
QA
295
.
S97
873. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
المؤلف: Edward L. Green ... ]et al.[, editors
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions
رده :
QA
155
.
7
.
E4A488
2000
874. Symmetries, differential equations and applications :
المؤلف: Victor G. Kac, Peter J. Olver, Pavel Winternitz, Teoman Özer, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lie groups, Congresses.,Computational Mathematics and Numerical Analysis.,Difference and Functional Equations.,Dynamical Systems and Ergodic Theory.,Ordinary Differential Equations.,Theoretical, Mathematical and Computational Physics.,Topological Groups, Lie Groups.,Differential calculus & equations.,Groups & group theory.,Lie groups.,Mathematical physics.,MATHEMATICS-- Algebra-- Intermediate.,Nonlinear science.,Numerical analysis.
رده :
QA387
875. Symmetries in science V : algebraic systems, their representations; realizations, and physical applications
المؤلف: edited by Bruno Gruber, L.C. Biedenharn and H.D. Doebner
المکتبة: (طهران)
موضوع: Congresses ، Algebra, Abstract
رده :
QA
162
.
S95
876. Symmetries in science v:algebraic systems,their representations,
المؤلف: GRUBER,BRUNO
المکتبة: (طهران)
موضوع: ALGEBRA,ABSTRACT-CONGRESSES
رده :
QA
162
.
S94
1990
877. TAPSOFT '89 :
المؤلف: J. Díaz, F. Orejas, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses.
رده :
QA76
.
76
.
D47
I57
1989
878. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
المؤلف: M.C. Gaudel, J.P. Jouannaud )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
879. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
المؤلف: edited by Harmut Ehrig...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
880. TAPSOFT 91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1991
